home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 2.iso / STUTTGART / LANG / ADA / GNAT / !gcc / adainc / 7 / ads / s-valuti < prev    next >
Text File  |  1996-02-12  |  6KB  |  111 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  5. --                      S Y S T E M . V A L _ U T I L                       --
  6. --                                                                          --
  7. --                                 S p e c                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.9 $                              --
  10. --                                                                          --
  11. --     Copyright (C) 1992,1993,1994,1995 Free Software Foundation, Inc.     --
  12. --                                                                          --
  13. -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  14. -- terms of the  GNU General Public License as published  by the Free Soft- --
  15. -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  16. -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  17. -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  18. -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  19. -- for  more details.  You should have  received  a copy of the GNU General --
  20. -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  21. -- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
  22. -- MA 02111-1307, USA.                                                      --
  23. --                                                                          --
  24. -- As a special exception,  if other files  instantiate  generics from this --
  25. -- unit, or you link  this unit with other files  to produce an executable, --
  26. -- this  unit  does not  by itself cause  the resulting  executable  to  be --
  27. -- covered  by the  GNU  General  Public  License.  This exception does not --
  28. -- however invalidate  any other reasons why  the executable file  might be --
  29. -- covered by the  GNU Public License.                                      --
  30. --                                                                          --
  31. -- GNAT was originally developed  by the GNAT team at  New York University. --
  32. -- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
  33. --                                                                          --
  34. ------------------------------------------------------------------------------
  35.  
  36. --  This package provides some common utilities used by the s-valxxx files
  37.  
  38. package System.Val_Util is
  39. pragma Pure (Val_Util);
  40.  
  41.    procedure Normalize_String
  42.      (S    : in out String;
  43.       F, L : out Positive'Base);
  44.    --  This procedure scans the string S setting F to be the index of the first
  45.    --  non-blank character of S and L to be the index of the last non-blank
  46.    --  character of S. Any lower case characters present in S will be folded
  47.    --  to their upper case equivalent except for character literals. If S
  48.    --  consists of entirely blanks then Constraint_Error is raised.
  49.    --
  50.    --  Note: if S is the null string, F is set to S'First, L to S'Last
  51.  
  52.    procedure Scan_Sign
  53.      (Str   : String;
  54.       Ptr   : access Positive'Base;
  55.       Max   : Positive'Base;
  56.       Minus : out Boolean;
  57.       Start : out Positive);
  58.    --  The Str, Ptr, Max parameters are as for the scan routines (Str is the
  59.    --  string to be scanned starting at Ptr.all, and Max is the index of the
  60.    --  last character in the string). Scan_Sign first scans out any initial
  61.    --  blanks, raising Constraint_Error if the field is all blank. It then
  62.    --  checks for and skips an initial plus or minus, requiring a non-blank
  63.    --  character to follow (Constraint_Error is raised if plus or minus
  64.    --  appears at the end of the string or with a following blank). Minus is
  65.    --  set True if a minus sign was skipped, and False otherwise. On exit
  66.    --  Ptr.all points to the character after the sign, or to the first
  67.    --  non-blank character if no sign is present. Start is set to the point
  68.    --  to the first non-blank character (sign or digit after it).
  69.    --
  70.    --  Note: if Str is null, i.e. if Max is less than Ptr, then this is a
  71.    --  special case of an all-blank string, and Ptr is unchanged, and hence
  72.    --  is greater than Max as required in this case. Constraint_Error is
  73.    --  also raised in this case.
  74.  
  75.    function Scan_Exponent
  76.      (Str  : String;
  77.       Ptr  : access Positive'Base;
  78.       Max  : Positive'Base;
  79.       Real : Boolean := False)
  80.       return Integer;
  81.    --  Called to scan a possible exponent. Str, Ptr, Max are as described above
  82.    --  for Scan_Sign. If Ptr.all < Max and Str (Ptr.all) = 'E' or 'e', then an
  83.    --  exponent is scanned out, with the exponent value returned in Exp, and
  84.    --  Ptr.all updated to point past the exponent. If the exponent field is
  85.    --  incorrectly formed or not present, then Ptr.all is unchanged, and the
  86.    --  returned exponent value is zero. Real indicates whether a minus sign
  87.    --  is permitted (True = permitted). Very large exponents are handled by
  88.    --  returning a suitable large value. If the base is zero, then any value
  89.    --  is allowed, and otherwise the large value will either cause underflow
  90.    --  or overflow during the scaling process which is fine.
  91.  
  92.    procedure Scan_Trailing_Blanks (Str : String; P : Positive);
  93.    --  Checks that the remainder of the field Str (P .. Str'Last) is all
  94.    --  blanks. Raises Constraint_Error if a non-blank character is found.
  95.  
  96.    procedure Scan_Underscore
  97.      (Str : String;
  98.       P   : in out Natural;
  99.       Ptr : access Integer;
  100.       Max : Integer;
  101.       Ext : Boolean);
  102.    --  Called if an underscore is encountered while scanning digits. Str (P)
  103.    --  contains the underscore. Ptr it the pointer to be returned to the
  104.    --  ultimate caller of the scan routine, Max is the maximum subscript in
  105.    --  Str, and Ext indicates if extended digits are allowed. In the case
  106.    --  where the underscore is invalid, Constraint_Error is raised with Ptr
  107.    --  set appropriately, otherwise control returns with P incremented past
  108.    --  the underscore.
  109.  
  110. end System.Val_Util;
  111.